#ifndef __INTERRUPT_H__
#define __INTERRUPT_H__

/**
 * C Interruptbehandlungsroutine wenn System Timer interrupt auslöst.
 */
void service_sys_interrupt();

/**
 * Gibt "!" aus und führt anschliesend einen Prozesswechsel durch
 */
void do_context_switch();

#endif // __INTERRUPT_H__

